Aleo香港6.11线下活动|生态增长总监Anthony介绍Aleo及其进展文字实录p1

Original AleoAsia AleoAsia 2023-06-12

收录于合集

大家今天下午都去参加了Aleo在香港的面基吗？

如果没有，我们AleoAsia给大家整理了一下Anthony的录音文字稿（由于时间太长，录音稿没有过多校对，大家将就着看），大家点赞转发哦~

大家好。谢谢你今天邀请我。很抱歉我不会说广东话或任何其他英语语言。所以如果由于某种原因在整个演示过程中，也许你没有完全理解完全没关系的一切。我们会做一个问答环节我们会有翻译。所以希望这没问题。但是，是的，很高兴来到香港。这实际上是我第一次来这里。我刚从韩国首尔回来。我在那里说话给我们开发者社区的一些成员，并在中亚会议上发表演讲。然后在这之后，我将前往越南做同样的事情。所以我很高兴能分享一些关于一个 leo 呃，如果你有兴趣，让你知道如何参与。

呃，但首先，我将快速介绍一下自己的背景。所以我自 2016 年以来一直在加密区块链领域。我第一次开始，当我在加州大学伯克利分校读本科时。自从我 2019 年从伯克利毕业后，我就专门从事加密工作。过去 2 年我一直在 Aleo。呃，这是一次了不起的经历。我实际上认识伯克利的联合创始人。所以我们项目的创始人是 howard wu college 和raymond chew。我是增长主管和别名。所以我主要从事的工作是与想要在生态系统中建立的人们建立伙伴关系和其他类型的合作。

嗯，还与可能想要在 leo 上构建的开发人员交谈，以及介于两者之间与工程无关的所有内容。所以，是的，今天将只是对 leo 的高级概述，将涉及它的一些技术方面，但它绝对不是超级技术深潜或开发人员研讨会或类似的东西。

但是，如果你是一名开发人员，或者你是再次深入了解 Aleo更具体的技术细节的人，我强烈建议你加入我们的 discord 社区或在twitter 上关注如果你可以并且是的就参与其中在Aleo生态系统中。

所以不用多说，我将继续开始演示。呃，实际上，在我开始之前，嗯，希望人们能够呃现在我在这里问的是，有多少人熟悉零知识技术，我应该提到的一件事是Aleo 的一个重要方面是这种新技术零知识。

嗯，这不是关于零知识的介绍，但我现在只是快速、高层次地介绍，然后我将深入介绍。

那么什么是零知识？零知识是我作为个人向您证明某些信息或某些陈述的一种方式，而无需查看该陈述背后的细节。呃，这是一个非常酷的原始方法，我们可以将其用于隐私网络。

因此，失败使您能够做的实际上是使用零知识构建这些类型的隐私保护应用程序。呃，所以有很多人在尝试零知识，但较早的是最早实际使用它来保护隐私的公司之一。大多数的人正在将零知识用于其他类型的你知道的，呃更多围绕可扩展性的用例，例如。我们会更深入地了解它。但只是为了让你了解这项技术我们正在使用。

好的，所以我想通过提供加密行业的发展或我们今天所知道的更广泛的去中心化系统来开放。所以我相信这里的每个人都熟悉比特币。呃，但在比特币之前，实际上有许多尝试创造数字货币。这可以追溯到 80 年代和 90 年代。事实上，如果你追溯这个行业的血统，它会从数字现金等项目开始，例如，对吧？嗯，他们只想说，我们如何使用美元？我们如何使用港元？我们如何使用这些法定货币并将其数字化？

然后 2008 年，比特币出现了，比特币的创新不一定是它创造了数字货币，而是它提出了这些很酷的加密经济激励措施，实际上创造了一个生态系统，在那里你可以拥有个人激励眼光无需像中央机构那样参与操作这种去中心化的货币系统。

所以这就是创新之类的关键。我有点带头，然后显然你有项目从中衍生出来。然后在进化的下一个层次，你有一个定理和其他类似的层次说，好吧，加密经济激励是一个非常酷的重要点。我们如何真正做到这一点，嗯，你知道得更好，比如我们如何才能开发出像金钱一样更有趣的应用程序。所以他们来了有了这个把虚拟机放在链上的想法，所以你得到了理论和虚拟机理论，然后你得到了一堆其他项目来效仿。

所以现在我们实际上可以构建这些很酷的去中心化应用程序，而不仅仅是第三次出现是钱。所以你想做的事情很常见，因为这个时间轴上的下一个演变是这样的。对吧？所以我们想做的是我们想采用用比特币开发的加密经济激励措施，并将其与拥有这个单链虚拟机的想法结合起来。嗯，但我们在这里添加的东西是所谓的零知识执行。这就是零知识执行的地方知识面进来了。

因此，通过零知识执行，也就是我们所说的Zexe，你现在实际上可以拥有这些去中心化的应用程序并且也是私有的，因为现在在这个项目的理论和重点中，一切都是公开的，全世界都可以看到，对吧？当我在区块链上记录一些东西时，它是公开可见的。

这样我就可以看到你的账户里有多少钱。我可以看到你把钱花在了什么上面。如果我在ETH上使用去中心化应用程序，我可以看到你在该应用程序中促成的每笔交易。这就是只是不可扩展，对吧？就像如果我们想要主流采用，我们需要以某种方式将隐私纳入其中。这就是 Aleo 本质上试图做的事情。我会深入了解它是如何工作的，但是这有点像高层次的想法。我们并没有试图取代任何其他项目。我们只是想让你知道，创建一个平台来支持这些在某些情况下可能无法实现的新型应用程序这些其他平台。

好吧，就像我说的，Aleo是一个去中心化的零知识应用平台。

另一种思考方式是，我们想将具有私有性的ETH的编程能力带到 zcash 之类的东西的一些呃隐私。我不知道人们是否熟悉 zcash。嗯，它基于它非常相似比特币，除非他们本质上是赚了私人钱。对吗？我们认为这是一个非常酷的隐私方面的想法，但我们也想将其添加到应用程序中。所以实际上拥有私人分散的应用程序，嗯，这就是你可以考虑的一种方式。Aleo 的其他一些有趣的方面是我们需要零gas。

因此，例如，在ETH中，如果您曾经使用过它，有时交易可能会非常昂贵。那是因为涉及到gas。但是您必须理解为什么系统像gas定理一样？好吧，让我们防止扔掉拒绝服务的系统，嗯，基本上可以防止人们喜欢跨越系统并使其过载。对吧？所以他们加了这些 gas 费。但是Aleo，有趣的是你可以选择在链下运行所有程序执行，对吗？这意味着我们不需要gas，因为没有办法有人可以随意向系统发送垃圾邮件。

而且因为我们有链下，呃，发生计算和执行，我们得到了无限的应用程序运行时间，对吧，如果你想开始在 web 3 中开发超级、超级复杂的程序，这真的很重要。

例如，有很多人想在 web 3 中构建游戏。但是如果你是游戏开发者或者你甚至只是玩过视频游戏，你就会知道这些应用程序非常复杂。如果我想做所有在ETH上的链上，那是行不通的，对吧？嗯。现在人们正在寻找不同的扩展解决方案来制定可扩展的理论等等，但你仍然必须在链上做所有事情，对吧？而且导致问题。呃，所以我们认为这也是平台的一个非常重要的方面。

好吧，基本上你又说了一遍，这里的关键是我们希望人们构建零知识应用程序，因为这对我们来说是最重要的事情。嗯，所以它的工作方式是生态系统中的三个主要参与者我只想在这里强调一下。我们将从开发人员开始，然后朝着验证为，所以你拥有的第一批人是开发人员，对吧？所以这可能是如果你是工程师，这可能是你对吗？这些只是想要在 leo 上构建的人。他们能够做到这一点的方式是通过我们开发的称为 leo 的呃编程语言。所以 leo 它是一个编译器。

所以之前如果你想构建 zk 你实际上必须编写你自己的电路，就像在你的计算机的裸机上一样。嗯，它是非常，非常困难和低效。但是现在有了leo你可以只是一个普通的web开发者。这可能熟悉打字稿或javascript或其他一些语言。Leo的设计与那些非常相似所以你不必担心关于理解 zk 或做所有这些复杂的事情，嗯，你知道开发，你可以直接用 leo开始构建。

所以是的，我们认为这是生态系统的一个非常非常酷的方面。事实上还有很多其他问题，可能Zexe 现在也是，嗯，有点像我们设计的那样。好吧，所以你有开发人员，他们正在写那个。然后你有证明者。这些人基本上是在运行某人在外星网络上部署的应用程序，对吧？因为有人需要像我之前所说的那样运行计算并完成它链。证明者这样做的方式类似于挖矿和比特币，对吧？

所以在挖矿和比特币中，你有一些硬件，然后运行该硬件来解决密码哈希难题。对吗？如果你是第一个解决它的人，那么你会从称为块的网络中获得奖励奖励，对吧？那是你可以通过运行你的呃硬件来产生收入的一种方式。

然后嗯，除此之外，对吗？就像在比特币中，例如，人们从验证块中获得额外奖励。这是一个类似的想法，除了你做的是你有你也有硬件。这个硬件是专门为生成零知识证明而设计的。对吧？

再次，回到我之前所说的，零知识证明是我们在这里使用的关键技术，但需要有人生成这些证明才能将它们实际用于已部署的应用程序。谚语是可以做到的那个。嗯，是的，我会再深入一点，在另一张幻灯片中证明它，但这是一般的想法，对吧？我有硬件吗？有人想让你知道执行一个部署在leo。我通过使用我的硬件为他们做正确的事，然后我会因为做这项工作而得到奖励。对吧？

这就是我们实际上以去中心化的方式运行计算的方式。对吗？所以在网络上实际上存在相互竞争的批准。

嗯，这一切都是通过我们的虚拟机完成的，它被称为snarkVM 也许你们中的一些人熟悉构建 zkevms 的项目，对吗？每个人都在以太坊中使用 zk。这不是 azkevm，它是 azkvm 我们从头开始构建了我们自己的虚拟机为隐私而设计，因为再次回到我的历史课，一个以太坊不能或者我什至没有提到定理，不能支持隐私，对吧？这就是为什么我们决定从头开始构建一切并创建我们自己的虚拟机器。

嗯，然后你拥有的最后一组是验证者(Validator)。所以验证者在网络上是为共识做出贡献的人。

所以证明者，我刚才谈到的证明者（Prover）的一切都不会有助于达成共识，对吗？他们只是在那里运行程序，在网络上生成证明。验证者，他们才是真正接受这些证明的人。

所以一旦证明者生成了 ZKP，因为你不是证明，对吗？他们想把它添加到链中，验证者会聚集在一起并集体同意，好吧，这个零不是证明有效吗？如果是这样，那么什么时候加到链上，对不对？而且都是bug或者共识机制，也就是所谓的ABFT嗯，其实就是共识机制。它用的是bull shark，就是actors用的共识机制，比如说，这是一个基于dag的架构。嗯，对于我们试图通过Aleo 实现的目标，它有一个非常好的设计。嗯，所以，是的，验证者作为激励之眼的方式，就像任何其他基于状态证明的系统一样。对？所以共识机制是状态证明。

呃，基本上，你所做的是你拥有你的代币，你将它们带到链上，你正在验证区块，你会因为拥有你的代币而获得奖励，对不起，你拥有你的代币股份并且显然拥有更多的投票权你的代币股份反而设计你正确操作，因为如果网络中发生冻结活动，那么主题将一文不值。所以这些是验证，他们通过我们的操作系统来完成，这是 star go s um，所以将所有这三个组件组合在一起，我们的编程语言，我们的虚拟机，我们的操作系统，并且所有这些参与者都在相互交互。这就是你得到 leo 的方式。

所以这只是另一种可视化方式，但你可以看到一个不能与另一个共存。它们就像协同工作以确保系统能够正常运行。

然后我把这张照片放在这里。再说一次，我相信很多人都熟悉这个理论，这是一个很好的形象化方式来形象化我们如何知道定理。对吧？再说一遍，我们有开发者。这和定理一样，对吧？我是定理上的开发者。我写了一个智能合约，人们使用它。这里的想法相同。我是 leo 上的开发者。我写了一个程序，希望人们会使用它。

好的。然后在早些时候我们有我们谈到的证明者，他们运行那些部署的 um 程序。证明是一个生成插入组。一个定理现在实际上也在使用零知识证明。呃，但是在某种叫做汇总的形式，对吗？所有这些其他公司都在开发嗯，比如他们所谓的在定理之上的第二层扩展解决方案，这样他们实际上可以嗯消除我之前提到的一些理论挑战。

事实上，他们真的有这些，我猜，费用和嗯你知道这是一个非常慢的网络是所有的交易。

所以他们所做的是，我不会完整地谈论角色，直到他们使用零知识喜欢在第二层中将一个非常吸引人的交易组合在一起。

然后这些合并的交易被添加到链中。这就是他们如何获得更大的可扩展性。对吗？所以这就是他们使用 zk 而对我们来说，每个 zk 都只是在批准中被负面地使用它来运行程序。嗯。我要说的另一件事是，对于汇总，他们使用 zk 的方式是为了可扩展性，在我们的例子中，我们更多地使用 zk 是为了它的隐私保护属性。而不是为了它的可扩展性属性，零知识最初是作为一种隐私解决方案开发的，对吗？因为你的知识实际上是从 20 世纪 80 年代开始开发的，对吗？零知识不是这种新事物。它变得非常流行是因为人们发现了这样的东西，等一下，用于隐私的零知识证明，但实际上我们可以使用相同的元素来扩展以太坊，对吧？

因为有了零知识证明，你所做的就是减少你在隐私上下文中查看的信息量。但这对可扩展性也有好处，因为它就像，哦，我们配上那没用，但我是如果这有意义的话，需要在区块链上报告。对吗？所以人们发现我们可以将它用于可扩展性，这就是最近每个人都关注的，对吧？因为这个理论真的很流行，而且有很多的高度，但真的，我认为隐私是真正的东西，就像 zk 超级有趣但是再次只是为了比较然后最后一个很好，一个理论不再使用矿工因为他们转换了证明的工作，所以他们也使用有效的。

基本上以类似的方式运行，对吧？就像我们网络中的值。他们你知道在定理上验证块相同的东西。并且该定理也是基于状态证明的。所以它是相似的，不完全一样，对吧？我们是使用像这样的不同智能。但在其核心，它与网络上的状态代码的一般概念相同。这是您可以对我们进行思考的一种方式。哦，哦，抱歉。是的。这是一个很好的问题。所以是的，问题是外星人的工作证明或状态证明。所以它是两者的结合，但我需要在那里澄清一下。所以共识机制是权益证明，这就是谚语所说的外星人使用基于工作量证明的机制，但基于该机制的工作量证明不用于共识。

所以对于证明者，实际上，我在最后有一张幻灯片。我只是因为我们已经在这里，我不妨把它拉起来。（未完待续）

Aleo 是第 1 层区块链，为网络带来隐私

了解Aleo 项目及最新进展，请阅读下述文章：

从8个方面介绍 Aleo 项目

Aleo 有可能为下一个牛市的到来打响第一炮吗？